>>646
∩_{k}P_{i_k}=∩_{k}√(Q_{i_k}:f)⊇∩Q_{i_k}:f⊇∩Q_{i}:f=P