theorem :: RECDEF_2:8

canceled;