Proof that Steins;Gate world is a running simulation