Assertion: euclidean space's property | /r/CapableOf | follow i of r
Facets:
value: for any principal ideal
type: PURPOSE
value: with nonzero generator b
type: OTHER
Source sentences:
text: The property (EF1) can be restated as follows: for any principal ideal I of R with nonzero generator b, all nonzero classes of the quotient ring R