Less confusing proof.