aϕ⁡(n)≡1(modn),