Citation: BGE 143 V 434 E. 3.2

Invalidenversicherungsrechtlich steht fest, dass der Beschwerdeführer seit Oktober 2001 Anspruch auf eine ganze Rente hat und dass die von der IV-Stelle auf Ende Januar 2013 verfügte Rentenaufhebung unzulässig war, weil in Bezug auf die Rentenzusprache weder die Voraussetzungen für eine Wiedererwägung (Art. 53 Abs. 2 ATSG) oder eine Revision (Art. 17 Abs. 1 ATSG) erfüllt waren, noch ein anderer Rückkommenstitel (vgl. dazu Urteil 9C_800/2016 vom 9. Mai 2017 E. 2) ersichtlich war (vgl. Sachverhalt lit. A.b). Weiter steht ausser Frage, dass die BVK eine Erwerbsinvalidenrente gemäss § 21 Statuten über Jahre - spätestens (vgl. § 19 Statuten) BGE 143 V 434 S. 439 vom 1. Oktober 2003 bis Ende Februar 2013 - vorbehaltlos ausrichtete. Streitig und zu prüfen ist, ob es für die Aufhebung der Rente aus beruflicher Vorsorge eines Rückkommenstitels im invalidenversicherungsrechtlichen Sinne bedarf, oder ob sie voraussetzungslos zulässig ist, sofern nur die Anspruchsvoraussetzungen nicht (mehr) erfüllt sind. In diesem Zusammenhang ist die Frage nach der Bindung der BVK an die rechtskräftigen Verfügungen der IV-Stelle resp. an das Urteil 9C_33/2014 vom 26. März 2014 nicht von entscheidender Bedeutung, wie sich aus dem Folgenden ergibt; sie kann daher offenbleiben.