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 .
Mengikut keadaan memegang: Awalan formula rentetan _22 dari formula panjang _10 sama dengan awalan formula _24 dari formula panjang _10 membayangkan formula _26. Syarat berikut berlaku: Awalan formula rentetan 22 dari panjang formula 10 sepadan dengan awalan Formula 24 dari panjang formula 10 menyiratkan Formula 26.