Added (hideously typeset) proofs