素環
可換環において、整域と素環は同値である。