A graph $G$ is self-complementary if it is isomorphic to its complement $\overline{G}$. For a self-complementary graph with $n$ vertices, which of the following is a necessary condition for $n$?