Subtracting twice the first linear congruence from the second gives . Since , the modular inverse of modulo is . Thus . Substitution in the first linear congruence then gives , whence . All integer solutions are
The two free integers are independent. Conversely, these values give and , so no additional restriction is needed.
Write the composite number as , with . If , both and occur as distinct factors of the factorial , so their product divides that factorial.
If , then and implies . Both and are distinct factors in , because . Their product is , so again divides the factorial. Hence
The exception matters: its factorial is not divisible by . This argument handles perfect squares without incorrectly counting the same factor twice.

Articles by others on the same topic (0)

There are currently no matching articles.