整环中的素元只能有有限个数的因子。