https://www.glc.us.es/~jalonso/calculemus/si-x-%e2%88%88-%e2%84%95-entonces-x-%e2%88%a3-x%c2%b2/
Si x ∈ ℕ, entonces x ∣ x²