Eulersche Funktion (Zahlentheorie)/Produktformel bei Primfaktorzerlegung/Vollständig/Fakt/Beweis