משפט 1: אף על פי שנקבע לראשונה לפו שי, הסדר הבינארי או הלקסיקוגרפי של שאו יונג מופיע באופן מסורתי במאה ה-11 לספירה. משפט 2: אף על פי שנקבע לראשונה לפו שי, שאו יונג מופיע בסדר הבינארי או המילון באופן מסורתי במאה ה-11 לספירה. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
כן, כן.