TeX source:
(p-1)=0