Ада нет? И как он собирается это доказывать? Вообще-то правильно говорить, что существование ада недоказано.