Algorithm
Order
Tr.
Thm. 26
POLO-7.1+7.2
old
Thm. 26
POLO-7.1+7.2
older
Example
Thm. 26, POLO-7.1+7.2, old
Thm. 26, POLO-7.1+7.2, older