Joels stora sats
Joels stora sats fick sitt ursprung i letande av samband i ett mystiskt papper med ett rutmönster med siffror i. Efter mångt och mycket grubblande kom Joel på sambandet: Summan av raderna i mönstret var lika med summan av alla kolumner!
Detta visade sig sedan gälla för alla sifferrektanglar och är idag den överlägset enklaste satsen att härleda [math]\displaystyle p\Rightarrow p[/math]. Efter frenetiskt arbete lyckades Joel komma på en sats som gällde även i tre dimensioner dvs en sifferkub. Efter denna bedrift lyckades Joel även bevisa att det gäller i [math]\displaystyle n[/math] dimensioner där [math]\displaystyle 0 \lt n \lt 38472[/math].
Joel blev sedan utmanövrerad av en korrupt jury så att han inte fick mottaga Fields medal, det största matematikpriset som finns.
Joels stora sats för 2-dimensionella matriser:
[math]\sum_{k=1}^n \left(\sum_{i=1}^m\alpha_{i,k}\right)=\sum_{i=1}^m \left(\sum_{k=1}^n\alpha_{i,k}\right) [/math]
Bevis
Beviset: Om intellektet inte vill eller kan förstå analysen - är inget bevis möjligt.