theorem
  the carrier of MPS(F) = C_3(F);
