I prefer a simpler interpretation of: > Then a box exists at if and only if gcd(x, y) != 1 and we can consider anything that is not 1 (i.e. undefined) to resu

I prefer a simpler interpretation of: > Then a box exists at if and only if gcd(x, y) != 1 and we can consider anything that is not 1 (i.e. undefined) to result in a box.