This paper gives a new identification for Siegel modular forms with respect to any congruence subgroup by investigating the properties of their Fourier-Jacobi expansions, and verifies a comparison theorem for the dimensions of the spaces S-n(k)(Gamma(n)) and J(k,1)(0)(Gamma(n)) with small weight k. These results can be used to estimate the dimension of the space of modular forms.