Special:DeletePage/Totient function/Proofs