^
Yes
Even if no-one runs the game?
Yes, because proof is required for all games . Doesn't matter if no one runs them.