Proving God to the atheist