משפט 1: תורמים מאוחר יותר סיכמו ארתור Bisguier (1953), פטר Trifunovic (1957) ו וולטר קורן (1963). משפט 2: תורמים מאוחר יותר כללו ארתור Bisguier (1953), Petar Trifunovic (1957), ו וולטר קורן (1963). שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.