קטגוריה:הוכחה באמצעות מחשב

ערכים חסרים: מתמטיקה ניסויית, הוכחה באמצעות מחשב.

כמו כן הערך תכונת T של קשדן (ראה בדף השיחה).