\varphi(n):=\left | \left\{ (x,n)=1\vert 0\leq x