素元は既約元