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