theorem :: FUNCSDOM:26

for A being non empty set holds RRing A is commutative Ring