⁴¹⁵minoris post corr. A
⁴¹⁶th A   lh S
⁴¹⁷aequale A   aequale est S
⁴¹⁸ A   est rectangulo S