renumbered hypothesis in generated proofs