Тип доказательства