Added proposition in Games in finite populations back.