theorem Th17: :: FIELD_3:22

for R being non degenerated Ring st 0 in the carrier of R holds
not R is flat