---

Step * of Lemma satisfies-integer-inequality_wf

∀[xs,as:ℤ List].  (xs ⋅ as ≥0 ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[xs,as:\mBbbZ{}  List].    (xs  \mcdot{}  as  \mgeq{}0  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index