A proof that the cube root of $2$ is irrational reaches $a^3 = 2b^3$. Which fact gives "$2$ divides $a$"?