theorem :: RECDEF_2:9

canceled;