theorem :: MMLQUER2:7

canceled;