Search results for: 'polynomial ring is finite module'