La següent condició es compleix: El prefix de la fórmula de cadena _ 22 de fórmula de longitud _ 10 és igual al prefix de la fórmula _ 24 de fórmula de longitud _ 10 implica fórmula _ 26 .
S'aplica la següent condició : El prefix de la fórmula 22 de la fórmula 10 correspon al prefix de la Fórmula 24 de la fórmula 10 de longitud que implica la Fórmula 26 .