take <*> COMPLEX ; :: thesis: <*> COMPLEX is complex-valued
thus <*> COMPLEX is complex-valued ; :: thesis: verum