The proofs you produce are probably weaker than those the author wants