Tag: Fermat's factorization