The greedy basis equals the theta basis: A rank two haiku

We prove the equality of two canonical bases of a rank 2 cluster algebra, the greedy basis of Lee–Li–Zelevinsky and the theta basis of Gross–Hacking–Keel–Kontsevich.