Rifson : 🐄 = 🍖 + 🥛 + 🥚

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

Maintenant il faut continuer

Le 20 mai 2021 à 20:40:55 :
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

Maintenant il faut continuer

Ayo
Le théorème de Rifson