Ta có

Giả sử
là một ước nguyên tố chung
của m−n, 4m2+4mn+4n2+1 thì
là số lẻ do 4m2+4mn+4n2+1 lẻ.
Mà 8n3⋮p nên suy ra n⋮p hay từ đó ta
có m⋮p do m−n⋮p.
Mà 4m2+4mn+4n2+1 cũng chia hết
cho p nên 1⋮p, điều này vô lý.
Vậy
hay suy
ra m−n là lập phương của một số nguyên.