Search results for: 'every finite integral domain is a field'