consider A9, B9 being Subset of X such that
A2: A = [A9,B9] by Th55;
thus A `2 is Subset of X by A2; :: thesis: verum