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