Результаты орд использоваться в доказывании