| Line 283: |
Line 283: |
| | | | |
| | <center> | | <center> |
| − | <p><math>t ~\operatorname{is}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime},</math></p>
| + | <math>\begin{matrix} |
| − | | + | t ~\operatorname{is}~ P^{\prime}, P^{\prime\prime}, P^{\prime\prime\prime}, |
| − | <p><math>S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime} ~\operatorname{are}~ q,</math></p>
| + | \\[4pt] |
| − | | + | S^{\prime}, S^{\prime\prime}, S^{\prime\prime\prime} ~\operatorname{are}~ q, |
| − | <p><math>\therefore t ~\operatorname{is}~ q.</math></p>
| + | \\[4pt] |
| | + | \therefore t ~\operatorname{is}~ q. |
| | + | \end{matrix}</math> |
| | </center> | | </center> |
| | |} | | |} |