AlgorithmOrderTr.
Thm. 26POLO-7.1+7.2old
Thm. 26POLO-7.1+7.2older

ExampleThm. 26, POLO-7.1+7.2, oldThm. 26, POLO-7.1+7.2, older