Roten ur två hör till talen de irrationella,
ett motsägelsebevis kan tveklöst visa detta gälla.

Rationella tal kan uttryckas a genom b,
där minst en är udda och nu ska vi se,
likhet med roten ur två, vad ger det?

En förlängning med b, och kvadrering som så,
ger att a gånger a är lika med två b upphöjt till två.

Ett tal som är udda ger även ett i kvadrat,
ett jämnt tal kan således tillskrivas a:t,
att b är udda verkar klart som korvspa't.

Men en multipel av fyra bör båda led vara,
och b då tillhöra de jämna talens skara.

Udda och jämnt, det talar emot,
detta är beviset för att två:s rot
ej kan skrivas som en heltalskvot.