---

Step * of Lemma trivial-int-eq-test

∀P:ℤ ⟶ ℙ
  ∀[x,y:ℤ].
    (((P ((x - y) + y)) ⇒ (P x))
    ∧ ((P (y + (x - y))) ⇒ (P x))
    ∧ ((P ((x + y) - y)) ⇒ (P x))
    ∧ ((P (y - y - x)) ⇒ (P x)))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}P:\mBbbZ{}  {}\mrightarrow{}  \mBbbP{}
    \mforall{}[x,y:\mBbbZ{}].
        (((P  ((x  -  y)  +  y))  {}\mRightarrow{}  (P  x))
        \mwedge{}  ((P  (y  +  (x  -  y)))  {}\mRightarrow{}  (P  x))
        \mwedge{}  ((P  ((x  +  y)  -  y))  {}\mRightarrow{}  (P  x))
        \mwedge{}  ((P  (y  -  y  -  x))  {}\mRightarrow{}  (P  x)))


By

---

Latex:
Auto

---

Home Index