La propriété est vraie :

Si on a ou on a ou