משפט 1: Jape הוא, עוזר הוכחה גרפי מתאים, פותח במקור על ידי ריצ'רד בורנט במלכה מרי, אוניברסיטת לונדון וברנרד Sufrin באוניברסיטת אוקספורד. משפט 2: Jape הוא עוזר הוכחה גרפי מותאם, פותח במקור על ידי ריצ'רד בורנט במלכה מרי, אוניברסיטת לונדון, וברנרד Sufrin של אוניברסיטת אוקספורד. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
כן, כן.