The proof is here!