refactored proofs that don't mention cauchy