theorem :: PARSP_1:6

for F being Field holds the CONGR of (MPS F) = PR F ;