Update answer for e3_1-1.

Okay, I'm pretty sure that I've finally figured out how to prove this
mathematically.