1Eichler, [16] p.104, proposed a proof using “Siegel’s work on indefinite theta functions”. This is what our proof is, though with perhaps more differential geometry than Eichler had in mind.