We prove that binary images of irreducible cyclic codes C over GF(2(m)) and
binary concatenated codes of C and a binary [m + 1, m, 2] even-parity code
are optimal (in the sense that they meet the Griesmer bound with equality)
and proper, if a root of the check polynomial of C is primitive over GF(2(
m)) or its extensions.