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