משפט 1: זודאק היה מבוטא בסדרת 1983 על ידי לו שיימר ו כריסטופר שופט בסדרת 2002. משפט 2: זודאק היה מבטא על ידי לו שיימר בסדרה 1983 ועל ידי כריסטופר שופט בסדרה 2002. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
כן, כן.