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.
La siguiente condición implica: El prefijo de la fórmula de cadena _ 22 de la fórmula de longitud _ 10 contiene el prefijo de la fórmula _ 24 de la fórmula de longitud _ 10 es igual a la fórmula _ 26.