Доказательство должно быть относимым