Apologies for pasting a screenshot but it was the fastest way for me to ask the question since it's rather long.

I don't understand why the part where they say $(x^2 \vee 2xy \vee y^2) > 9$
- Why do at least one of them have to be greater than $9$?
- Why does at least one of them being greater than $9$ make the proof wrong?
If any of them are greater than 9 then there is a carry. For instance, take the number $32$ ($x = 3, y = 2$ and $2xy = 12 > 9$). Then $32^2 = 1024$ and $23^2 = 529$. I can also write this as $32^2 = 9(12)4$ where there is a $12$ in the $10$'s place and similarly $23^2 = 4(12)9$. Now carrying, you have $(9 + 1)24$ and $(4 + 1)29$ which are respectively $1024$ and $529$.