rng R c= COMPLEX by Def1;
hence rng R is complex-membered ; :: thesis: verum