G is configuration by Th4;
hence for b₁, b₂ being POINT of G st b₁ on A,B & b₂ on A,B holds
b₁ = b₂ by A1; :: thesis: verum