Matematiikkaa a'la Masa

Teoreemia Matti Soittolan kursseilta esitettyinä ilman todistusta:

• Epäsoittolamainen geometria: Geometrian kurssin luennoi kuka tahansa muu.
• Materiaalisen implikaation laki: Jos tunnet, että demosi on oikein, niin se on väärin.
• Soittolan epätäydellisyyslause: "Eihän tätä näin tehdä."
• Analyyttisen jatkamisen periaate: Jos olet kerran väärässä, niin olet aina väärässä.
• Soittolan jatkolause: Jos olet kerran väärässä, niin olet taululla peräkkäisissä demoissa niin usein, että olet oikeassa.
• Soittolan paradoksi: Jos oppilas osaa todistaa tuloksen pitkällä tavalla, niin Soittola todistaa sen lyhyellä. Jos taas oppilas todistaa tuloksen lyhyesti, niin todistus on keskeneräinen.
• Soittolan hypoteesi: Kaikki matematiikka-ohjelmat ovat aina huonoja.
• Monotonisen konvergenssin lause: Jossain vaiheessa keittää yli.
• Soittolan lemma: Jos merkitset n tehtävää lasketuksi, ja tarkalleen yksi niistä on väärin, niin lemman mukaan joudut esittämään taululla täsmälleen sen väärin olevan (olipa n kuinka suuri hyvänsä).

Huom. Nimien selitykset: epäeuklidinen geometria, Gödelin epätäydellisyyslause, Tietzen jatkolause, Russellin paradoksi, Riemannin hypooteesi, Zornin lemma. Mutta tiedätkö, miksi Soittolan teoreemoilla on ekvivalenssi niiden kanssa?