consider A', B' being Subset of such that
A1: A = [A',B'] by Def1;
thus A `2 is Subset of by A1, MCART_1:7; :: thesis: verum