Another proof (that was obscured in the game)