Fermat factorization