>>612
p(1) も q(1) も示せないこともあるでしょうな。