Jordan proofs -not fully edited