Example 0.2.4.

Prove: If two numbers \(a\) and \(b\) are even, then their sum \(a+b\) is even.

Solution.
in-context