G is configuration by Th4;
hence for b₁, b₂ being LINE of G st {a,b} on b₁ & {a,b} on b₂ holds
b₁ = b₂ by A1, Th2; :: thesis: verum