theorem :: GROUP_1:11

canceled;