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