Mathematical proof of God’s existence