الجملة الأولى: " بيندر " ، " نوت " ، " إنفولوشن " استخدمت لإعطاء إثبات قصير لقاعدة " ليتل وود " ، " ريتشاردسون ". الجملة الثانية: (ريتشاردسون) ، (كناث) استخدموا التشنجات لإعطاء إثبات قصير لقاعدة (ليتلوود) ، (بيندر) السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟