The nonexistence of a [207,4,165] code over GF(5)
A divisibility theorem for codes meeting the Griesmer bound is used to establish that there is no [207, 4, 165] code over GF(5).
divisible griesmer bound conic linear code macwilliams identity projective residual weight distribution