theorem :: HURWITZ:37

not 0_. F_Complex is Hurwitz