P
Initializing...
Lemma 3.8, p. 18 — Condition 3.2 and the balance equation (3.7) pass to c₁θ¹ + c₂θ² when Γ⁺_{θ¹} ∩ Γ⁻_{θ²} = ∅ or Γ⁻_{θ¹} ∩ Γ⁺_{θ²} = ∅ · Prove2Me