Wenn aber aus [J|j]enem F(AB) F(A'B') folgt dann muß in F(AB) schon von A' & B' die Rede sein. – „A'”, „B'” müssen also Symbole sein, die aus „A” & „B” konstruiert werden können wie etwa die Unterteilungen eines Maßstabes aus seinen Endpunkten.