P
Initializing...
Lemma 1.1 — (K₁ ∩ K₂)° ⊆ N₊(K₁, K₂) ⊆ N(K₁, K₂) ⊆ K₁ ∩ K₂ · Prove2Me