q 
||l1|| ||l2|| en(l1) (q
||l1||) en(l2) (q||l2||) 
(q||l1||
)+en(l1) = (q||l2||)+en(l2) & en(l1) = en(l2) l1 = l2q*q*(q||l1||)+en(l1) = (q||l2||)+en(l2) l1 = l2
q:, n1,n2:, r1:(qn1), r2:(qn2).
(qn1)+r1 = (qn2)+r2 
n1 = n2 & r1 = r2
[q;||l1||;||l2||;en(l1);en(l2)]| 1 | q |
| 2 | ||l1|| |
| 3 | ||l2|| |
| 4 | en(l1) (q||l1||) |
| 5 | en(l2) (q||l2||) |
| 6 | (q||l1||)+en(l1) = (q||l2||)+en(l2) |
| 7 | 5. ||l1|| = ||l2|| & en(l1) = en(l2) l1 = l2 |
About:
 |  |  |  |  |  |