{} c= { the Point of GX} by XBOOLE_1:2;
hence for b₁ being Subset of GX st b₁ is a_component holds
not b₁ is empty ; :: thesis: verum