Add Brian McKenna's even + even = even proof.