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