Ward1) Если

, где

, то тогда все понятно.
2) Если же

не представляет в таком виде, т.е. это значит, что:
-

- простое число, тогда для простых ответ мы тоже знаем (дробь будет несократимой).
-

, то для него ответ тоже ясен, а именно дробь будет несократимой при

(при

дробь несократимая).
Во втором случае единственный собственный делитель -- простой.
Извините, а почему он простой?
Ну пусть он не простой, т.е.

, где

-составное, т.е.

, где

, тогда

и

. А это и есть выше рассматриваемый
случай 1)(а для него все ясно). Значит, остается рассматривать, когда

- простое, т.е.
