The Gross--Kohnen--Zagier theorem via p-adic uniformization | Synapse