Es gilt folgende Bedingung: Das Präfix der Stringformel 22 der Längenformel 10 entspricht dem Präfix der Formel 24 der Längenformel 10 impliziert Formel 26.
Die folgende Bedingung impliziert: Das Präfix der Stringformel _ 22 der Längenformel _ 10 enthält das Präfix der Formel _ 24 der Längenformel _ 10 entspricht der Formel _ 26.