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 .
Following condition implies : Prefix of the string formula _ 22 of length formula _ 10 holds the prefix of the formula _ 24 of length formula _ 10 equals formula _ 26 .