CauchyProofsS.agda