Se cumple la siguiente condición: el prefijo de la fórmula de cadena _ 22 de la fórmula de longitud _ 10 es igual al prefijo de la fórmula _ 24 de la fórmula de longitud _ 10 implica la fórmula _ 26.
Se aplica la siguiente condición: El prefijo de la fórmula de cadena 22 de la fórmula de longitud 10 corresponde al prefijo de la Fórmula 24 de la fórmula de longitud 10 implica la Fórmula 26.