theorem :: GRCAT_1:35

canceled;