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