theorem :: MFOLD_2:11

canceled;