The necessary existence of God