Apparatus
1 esset A  est S
2 super A  supra S
3 : iam et angulus z non maior erit angulo supra maiorem axim A   om. S
4 k A  l S
5 l A  k S
6 [[reliqua]] A  requiritur S
7 super A  supra S
8 faciet A  facit S