Este resultado fue obtenido por Euclides, y presentado originalmente como un corolario al llamado "Primer Teorema de Euclides".