Custa incommensurabilidade est afrontada in sos Elementos de Euclide, Libru X, Propositzione 9.