:: deftheorem RINGCAT1:def 22 :
canceled;