A generalization of Euler's theorem (Q1485995)

Es wird der Satz bewiesen: \(a^{\psi(a)}\equiv a^q(\text{mod}.\,n)\), wo \(n=b^\beta c^\gamma d^\gamma e^\varepsilon\), \(a=b^{\beta'}c^{\gamma'}l^{\lambda}m^{\mu}\) und \(\psi(n)\) das kleinste gemeinschaftliche Vielfache der \(\varphi(b^\beta),\varphi(c^\gamma),\varphi (d^\delta),\varphi(c^\varepsilon)\).