theorem :: PARSP_1:5

for F being Field holds the carrier of (MPS F) = C_3 F ;