Fermat's factorisation