La propriété est vraie :

Si on a alors on a

On fait de même si on a