⁴⁷²esset A   est S
⁴⁷³super A   supra S
⁴⁷⁴: iam et angulus z non maior erit angulo supra maiorem axim A   om. S
⁴⁷⁵k A   l S
⁴⁷⁶l A   k S