La condition suivante est vérifiée: le préfixe de la formule de chaîne _ 22 de la formule de longueur _ 10 est égal au préfixe de la formule _ 24 de la formule de longueur _ 10 implique la formule _ 26.
La condition suivante s'applique: Le préfixe de la formule de chaîne 22 de la formule de longueur 10 correspond au préfixe de la formule 24 de la formule de longueur 10 implique la formule 26.