アイゼンシュタイン級数
Identities involving Eisenstein series.