fixed ring requirements to associative and distributive