Raisonnons par l'absurde : Soit 🐄 appartenant à l'ensemble Ω. Soit 🥩, 🥛, 🥚 appartenant à un ensemble finis Δ Supposons 🐄 ! =🥩+🥛+🥚 L'ensemble Δ est pourvu d'une relation binaire réflexive, transitive et symétrique Ainsi : Pour tout x appartenant à Δ , x appartient a xRx Pour tout (x,y) appartenant à Δ² , xRy => yRx Pour tout x,y,z appartenant à Δ , xRy ^ yRz => xRz