theorem Th19: :: QUOFIELD:19

for I being non degenerated commutative domRing-like Ring holds q1. I <> q0. I