for x being Element of F_Complex holds FQ_Ring x is Ring