cauchy proofs s