We study the existence of a modular form satisfying a certain congruence relation. The existence of such modular forms plays an important role in the determination of the structure of a ring of ...