This manuscript presents some proofs of prepositions, corollaries, and a theorem, that provide some illustrations of winnable games of Elimination Lit-Lights Out (ELLO). This game is played on 2-colored graph, i.e. red and ...