Congruences between modular forms and the birch and swinnerton-dyer conjecture