* לא ייתכן שערן ישן והשמש אינה זורחת
==2==
נגדיר את ההגדרות הבאות:
*מספר נקרא '''טרינרי''' אם הוא מתחלק ב-3
*זוג מספרים נקרא '''זוג הודי''' אם סכומם הוא טרינרי
*זוג מספרים נקרא '''צמוד היטב''' אם הוא הודי וגם אחד מבין המספרים אינו טרינרי
נסמן את ה'''פרדיקט''':
<math>p(x)</math> - המספר x מתחלק בשלוש
לדוגמא, <math>p(6)=T,p(7)=F</math>