Косвенное разделительное доказательство пример