theorem Th54: :: ALGNUM_1:44

for x being Element of F_Complex holds FQ_Ring x is Ring