För en ytvarelse är en ring ettfullkomligt