for F being Field holds (revf F) . (1. F) = 1. F