Principalisation property

Redirect to:

• Principal ideal theorem