Para probar que, "si un entero positivo" N "es un número no cuadrado", a su vez, su raíz cuadrada es irracional, que no puede demostrar su equivalente positivo frente que "si un entero positivo" N "tiene una raíz cuadrada, que es racional, entonces" N "es un número cuadrado".