Definition:Nontrivial Ring