Wikipedia talk:Articles for deletion/Totient function/Proofs