2. M: Formula List
3. N: Formula List
4. q: Formula
5. r: Formula
6. |= < hyp,[q; r/ M @ N] >
|= < hyp,M @ (q
r.N) > 
hyp,M,N:Formula List, q,r:Formula. |= < hyp,[q; r/ M @ N] > 
|= < hyp,M @ (qr.N) > | 1 | 1. hyp: Formula List 2. M: Formula List 3. N: Formula List 4. q: Formula 5. r: Formula 6. |= < hyp,[q; r/ M @ N] > |= < hyp,M @ (qr.N) > |
About:
 |  |  |  |  |