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