We show that the range of a symmetric matrix over $\mathit{GF}(2)$ always contains its diagonal. We present both our algorithmic proof and a simple proof by Noga Alon. A simplification of our proof has been given by Soltys (Lemma 9).
Manuscripts
