theorem :: MMLQUER2:5

canceled;