Какой принцип логики нарушает круг в доказательстве?