Description: The sum of an even and an odd is odd. (Contributed by AV, 24-Jul-2020)
Ref | Expression | ||
---|---|---|---|
Assertion | epoo |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | evenz | ||
2 | 1 | zcnd | |
3 | oddz | ||
4 | 3 | zcnd | |
5 | addcom | ||
6 | 2 4 5 | syl2an | |
7 | opeoALTV | ||
8 | 7 | ancoms | |
9 | 6 8 | eqeltrd |