The proof is in the paper