take the Subring of R ; :: thesis: not the Subring of R is degenerated
thus not the Subring of R is degenerated ; :: thesis: verum