arXiv++ Combinatorics

We prove that a 3-regular penny graph has at least 16 vertices and show that such a graph with 16 vertices exists.