P
Initializing...
Lemma 1.3 — N(K) ⊆ (K ∩ Hᵢ) + (K ∩ Gᵢ) · Prove2Me