Product (<*> COMPLEX) = 1 by Lm3;