---

Step * 1 of Lemma length-minus-polynom

.....truecase..... 
1. n : ℕ+
2. p : ℤ
3. n = 0 ∈ ℤ
⊢ ||minus-polynom(n;p)|| = ||p|| ∈ ℤ
BY
{ Auto }

---

Latex:

---

Latex:
.....truecase..... 
1.  n  :  \mBbbN{}\msupplus{}
2.  p  :  \mBbbZ{}
3.  n  =  0
\mvdash{}  ||minus-polynom(n;p)||  =  ||p||


By

---

Latex:
Auto

---

Home Index