theorem
  the CONGR of MPS(F) = PR(F);
