rekenregels ring
tot aan ring met eenheidselement
rekenregels ringen bewezen