Apparatus
1 coincidens A  coincides S
2 ita A   om. S
3 coincidet A  coincidit S
4 demonstrandum A  demonstrandem S