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