2 Un banco tiene un conjunto S de códigos formados solo con 0 y 1, cada uno de longitud n. Dos códigos son 'amigos' si difieren en solo una posición. Sabemos que cada código tiene exactamente k 'amigos'. Demuestra que: 1) S tiene un número par de elementos 2) S contiene al menos $2^k$ códigos