Самое интересное, что рассуждение Мачиса для

можно применить (применимо) для абсолютно любых

. Исключением остаются только непростые числа

, которые не являются произведениями чисел вида

.
Т.е.

.
Т.е.
Утверждение 4 Мачиса о том, что всякий простой множитель

можно представить

(которое приводится без доказательства) для

не работает для составных

.