---

Step * 1 of Lemma monus_of_add


1. n : @i
2. a : @i
3. (n + a) < a
 0 = n
BY
{ MaAuto }



1.  n  :  \mBbbN{}@i
2.  a  :  \mBbbN{}@i
3.  (n  +  a)  <  a
\mvdash{}  0  =  n


By

MaAuto



Home Index