Birch-Swinnerton-Dyer conjecture