Comment by kiriakasis

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