It can be proven that p > p {\displaystyle p>p} and p > p {\displaystyle p>p} together imply p > p {\displaystyle p>p} .
می‌توان ثابت کرد که p > p {\displaystyle p>p} و p > p {\displaystyle p>p} با هم نتیجه می‌دهند p > p {\displaystyle p>p} .