Koulskoude e seblant displegadenn Proklos war Elfennoù Euklides (war-dro 400 goude JK) diskouez nen dije graet Euklides nemet treuzskrivañ en-dro ur brouadenn goshoch lakaet war anv Pythagoras gant Proklos. Setu ez eo etre ar  hag an  e voe bet savet ar brouadenn-se eus an teorem. War a gonter ez eo da-geñver ar brouadenn-se e voe dizoloet ez eus niveroù anrasional. Evit gwir ez eo aes sevel un trichorn skouer hag izoskelel a vefe 1 hirder an daou gostez keit. Kevatal eo karrez an hipotenuzenn gant 2 neuze. Padal e cheller diskouez neus niver rasional ebet a vije 2 e garrez gant ur brouadenn eeun a chelled ober da vare Pythagoras. Kontañ a reer e voe dalchet kuzh an dizoloadenn-se gant skol ar bitagorisianed dindan boan a varv.