Seja Aq(n,d){\displaystyle A_{q}(n,d)} o maior tamanho possível para um código q-ário C{\displaystyle C}[1] de comprimento n e distância de Hamming mínima d. Então:[2]