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