theorem :: COMPUT_1:10

canceled;