Assertion: ring's ideal | /r/HasAspect | the form
Facets:
value: since by theorem
type: OTHER
Source sentences:
text: Then F[x] is a principal ideal domain, since by Theorem 4.2.2 the ideals of F[x] have the form I =