reworked the second and third proofs