aϕ⁡n≡1modn,