TeX source:
16=2 p(5)-p^{2}