Right, but I’m trying to generalize the claim to beyond these tiles. The claim is that for every vertex-vertex tiling of n-gons with n not all equal to 4 and ve

Right, but I’m trying to generalize the claim to beyond these tiles. The claim is that for every vertex-vertex tiling of n-gons with n not all equal to 4 and vertices in some kernel (A + B*sqrt(C)), for integer ABC, all verticies in the tiling will also be in that same kernel. Which is to say there’s nothing interesting about these Einstein tilings maintaining their NMsqet(3) kernel.