Birch Swinnerton-Dyer Conjecture