Es wird mehrfach hintereinander die folgende Konstruktion gemacht, die hier nur beispielhaft für den Punkt E aufgeschrieben wird

1. EZ ∩ k(Z;r=EZ) = {E,E'}