coordinate proofs #2