BCS theory of supercondictivity