theorem Th1: :: PARSP_2:1

for F being Field holds MPS F is ParSp