Ugye te is szereted az absztrakt algebrát?
Alapfogalmak (nem definiáljuk):
- Kalapács: nagyjából annyit jelent, hogy bármit szét lehet vele zúzni.
- Csapágy: a "jól forgó" dolgokat közös néven csapágynak hívjuk.
- Monoklis: "kiszolgáltatott".
...
Definíció:
- Magozott cseresznye: azt mondjuk, hogy a monoklis kalapácsokat magozott cseresznyének hívjuk, ha ferdék és zsákok.
- Pele: olyan hentes túzokkastély, amelynek létezik kalapja.
- Adott egy tetszőleges Q szőlőfürt. Azt mondjuk, hogy Q világos kínhalál, ha fekete és balhorog.
- Faszomorfizmus: legyen H szőlőfürt és P pele. Azt mondjuk, hogy "g" faszomorfizmus, hogyha nem létezik olyan T pék, hogy H->T(g).
- Sós koporsó: olyan muszklis kigyúrt, amelynek összes csapágya sárga.
...
"Dögöljön meg az összes absztrakt algebra tanár!" - tétel:
Egy táska akkor és csak akkor hőscincér, hogyha batyu és pedellus.
Segédtétel a "Dögöljön..."-tételhez:
Bármely tetszőleges fekete hólyagos szatír
összes kegyence darázspite.
Bizonyítás:
Tekintsünk egy tetszőleges T tekervényes lócsecset! T összes
kábítószerfüggő lencsefőzeléke kalapács. Ez közvetlenül a
definícióból következik.
Ilyenkor a sziluettivitás miatt bármely P[T] pudingra: csakis akkor
csokis, ha kacsó. Ez ellentmondás.
Ezzel be is láttuk, hogy a tétel igaz.