Aside from the sensationalism, I remark that you're (re)defining "simulation" to mean "world whose behaviour is equivalent to that of a simulation" and that the axiom you adopt in step 1 already transparently implies that our world is such a world. So you kinda do have a proof -- but it's of the form "Suppose p. Then it follows that p.".