Problem
Let’s "prove" that the number is a multiple of . We will use the symbol to denote "congruent modulo ". Thus, what we need to prove is that modulo . Let’s see: modulo means that modulo , thus modulo , however gives the remainder after division by , thus we get modulo , next modulo , and thus modulo . Which means that is divisible by .