« فرض کنیم کسری با کوچکترین جملات است که در آن a و b هیچ مقسوم علیه مشترکی ندارند. فرض کنیم
. دو طرف تساوی را به توان 2 می رسانیم :
بنابراین
. یعنی
عددی زوج است . چون توان دوم هر عدد فرد، عددی فرد است پس چون
زوج است ، a نمی تواند عددی فرد باشد ؛ پس a زوج است و می توان فرض کرد a = 2k . بنابراین
که نشان می دهد
. پس
زوج است و b نیز زوج خواهد شد.