THE EQUIVALENCE OF ARTIN–TATE AND BIRCH–SWINNERTON-DYER CONJECTURES