thus [:A,B:] is Subset of by Def5; :: thesis: verum