theorem :: QMAX_1:8

canceled;