for F being Field holds MPS F is ParSp