Esto se puede demostrar mediante la creación de √"N" igual a la expresión racional a/b con a y b siendo números enteros positivos sin ningún factor primo en común, y en cuadratura para obtener "N" = "a"/"b" y notar que una vez que "N" sea un número entero positivo "b"=1 de modo que "N" = "a", un número cuadrado.