g * h is Function of Bool M, Bool M ;
hence h * g is SetOp of M ; :: thesis: verum