take the trivial commutative Ring ; :: thesis: the trivial commutative Ring is degenerated
thus the trivial commutative Ring is degenerated ; :: thesis: verum