Proofs only - please do not re-post.