I’m assuming the infinite sequence of segments along a straight vertical line at each “x-coordinate” (not sure how to say this, but you can see vertical lines made of blocks, mean those) were proved to be unique and non repeating