mathematic proof of God