אם x מחלק את n אזי קיים y כך שxy=n
ומכאן y גם הוא מחלק של n.x==y אמ"ם x=sqrt(n)
מכאן אם לn אין שורש ריבועי טבעי, x תמיד שונה מy והמחלקים כולם
באים בזוגות, מספר המחלקים של n זוגי.
אם יש לn שורש ריבועי טבעי, יש לו רק אחד כזה, הוא מחלק ללא
זוג ולשאר המחלקים שלו יש בן זוג, ומכאן מספר המחלקים של n
אי זוגי.
DRYICE