be a binary code containing the zero word, with fundamental parameters
, and
, and let
be a nonnegative integer such that the words of any fixed weight of
form a
-design, with
maximal in this respect. It is shown that
. Moreover, if
contains the all one word, then
and if
is an even weight code then
. Finally, the following inequality is derived:
, provided that
.