Three Regular Tessellations

Theorem
There exist exactly $3$ regular tessellations of the plane.