the Element of A + the Element of B in A ++ B ;
hence not A ++ B is empty ; :: thesis: verum