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