
άρα ο k είναι περιττός. Έστω

. Αν ο n είναι άρτιος,

και

άρα

και αφού

,

. Ομοίως αποδεικνύεται για n περιττό. Άρα οι καλοί k είναι οι περιττοί. (Βλέπουμε ότι οι εκθέτες των όρων του P θα μπορούσαν να είναι περιττοί αριθμοί όχι απαραίτητα ίσοι και να ισχύει η ιδιότητα).