The proof is in the video