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