命題(>>131)の系１
上の命題はフィルター(M_p) が有限でなくても上に収束(>>94)し、
離散的(>>94)なら成り立つ。

証明
命題(>>131)より、各pに対して f は同型 M_p → L_p
を誘導することがわかる。
フィルター(M_p)と(L_p) は上に収束するから、
f は同型となる。
証明終