Art. 46 Abs. 2 BVG, Art. 1 Abs. 1 lit. c und Abs. 4 BVV 2. Das BVG schliesst echte Doppelversicherungen aus (Erw. 3).
Art. 46 al. 2 LPP, art. 1er al. 1 let. c et al. 4 OPP 2. La LPP exclut les doubles assurances proprement dites (consid. 3).
Art. 46 cpv. 2 LPP, art. 1 cpv. 1 lett. c e cpv. 4 OPP 2. La LPP esclude doppie assicurazioni in senso proprio (consid. 3).