Birch and Swinnerton-Dyer conjecture