Following condition holds : Prefix of the string formula _ 22 of length formula _ 10 equals the prefix of the formula _ 24 of length formula _ 10 implies formula _ 26 .
The following condition applies : Prefix of the string formula 22 of length formula 10 corresponds to the prefix of Formula 24 of length formula 10 implies Formula 26 .