This is not a mathematical proof, this is a code design choice.
The proof is that if I don't add that line my code crashes. With it, it works perfectly 😅