for z being Element of F_Complex holds z / (1. F_Complex) = z