Докажем существование разложения числа n на простые множители, предполагая, что оно уже доказано для любого другого числа, меньшего n. Если n — простое, то существование доказано. Если n — составное, то оно может быть представлено в виде произведения двух чисел aи b, каждое из которых больше 1, но меньше n. Числа a и b либо являются простыми, либо могут быть разложены в произведение простых (уже доказано ранее). Подставив их разложение в n, получим разложение исходного числа n на простые. Существование доказано.
[p*q]=[(1*a-5*b)*(2*a+1*b)]=
=2[a*a]-10[b*a]+[a*b]-5[b*b]=2*0+10[a*b]+[a*b]-5*0 =
= 11[a*b]=11