>>654
646です
ご回答有難うございます
その包含関係は分かるのですが,反対側のP⊃∩_{k}P_{i_k}が分かりません
むしろ証明の中ではP⊃∩_{k}P_{i_k}の方が要るようです