Предположим, что да. (далее mod 7 будет опущен). (действительно, рассмотрим сравнение , что означает делится на , но если и взаимно просты, то делится на , и сравнение эквивалентно другому сравнению . То есть мы можем сокращать обе части сравнение на число , только если и взаимно просты).
Поскольку , то . Поскольку , то , что верно. Значит, ответ да.
Предположим, что да.
(далее mod 7 будет опущен).
(действительно, рассмотрим сравнение
, что означает
делится на
, но если
и
взаимно просты, то
делится на
, и сравнение эквивалентно другому сравнению
. То есть мы можем сокращать обе части сравнение на число
, только если
и
взаимно просты).
Поскольку
, то
. Поскольку
, то
, что верно. Значит, ответ да.