How to prove that there is Something instead of Nothing?