We attempt to generalize a congruence property of elliptic modular forms proved by Sturm to that of Haupttypus of Siegel modular forms of degree 2 with level. Namely, we give an explicit bound of Fourier coefficients required to determine the congruence of modular forms. We give the analog of Sturm's... Show more