n⁡(a,b)=p⁡(b-a,b).