Define Mod5 as a Ring instance.