La Teoría de Firloyos y Chuchurris

Hoy ha sido mi primer día de Matemática Discreta en la universidad y, la verdad, el profesor parece bastante majo. Explicándonos el método matemático, ha llegado un punto en el que nos quería demostrar que las nociones matemáticas no tienen porque tener sentido en la realidad. Y ha desarrollado la Teoría de Firloyos y Chuchurris. Por su interés, os la transmito:

Teoría de Firloyos y Chuchurris
A1. Cada firloyo ñampia al menos en un chuchurri.
A2. Cada chuchurri tiene exactamente dos firloyos que ñampian en él.
A3. Hay exactamente cinco firloyos.

Con estos axiomas se ha puesto a demostrar que Hay al menos tres chuchurris. ¿Qué os parece? A mí me recuerda a un sketch de Splunge. Luego nos ha dicho que se podría aplicar a algunos grafos. Actualización: Trabajo para casa:

Teorema del Firloyo Afortunado
Existe al menos un firloyo que ñampia en dos chuchurris.