We give a short proof of Halin's theorem that any graph $G$ with a thick end (one containing infinitely many disjoint rays) contains a subdivision of the infinite hexagonal quarter-grid. This may be chosen so that all its rays belong to the given thick end.
Download (PDF)