It can also be shown that no pair of these schemata is sufficient for proving all tautologies with modus ponens.
Samuti on võimalik tõestada, et ükski paar nendest kolmest skeemist ei ole piisav tõestamaks kõiki tautoloogiaid modus ponens järeldusreegliga.