Es gilt folgende Bedingung: Das Präfix der Stringformel _ 22 der Längenformel _ 10 ist gleich dem Präfix der Formel _ 24 der Längenformel _ 10 impliziert die Formel _ 26.
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.