theorem :: COMPLFLD:49

(1. F_Complex) *' = 1. F_Complex