est vraie :

Si et est vraie, les deux propriétés et sont vraies pour chaque