theorem :: RINGCAT1:23

canceled;