In my attempts to learn about prime factorisation algorithms I came across this (#1) and it is stated without proof, only the hint of it being related to Lagrange.
I don't know how to relate this to Lagrange's (Theorem?), nor any plan of attack to try reason it out.
Any hints are welcome :)