| 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> | 
|  | |} |  | |} |