The proof is irrefutable