We prove that given any sequence $G_1, G_2,\ldots$ of graphs, where $G_1$ is finite planar and all other $G_i$ are possibly infinite, there are indices $i,j$ such ...