[tex]\displaystyle\bf\\3^{9} -4^{3}=(3^{3} )^{3} -4^{3} =\\\\=27^{3} -4^{3}=(27-4)\cdot(27^{2} +27\cdot 4+4^{2} )= \\\\=23\cdot (27^{2} +27\cdot 4+4^{2} )[/tex]

Если в произведении нескольких множителей один из них делится на 23 без остатка , то и всё произведение делится на 23 без остатка .