theorem :: RINGFRAC:43

for A being non degenerated commutative Ring st A is Field holds
Ideals A = {{(0. A)}, the carrier of A}