The proof is very bad