| (a:) | rot2 + rot5 - k * rot3 = 0 |
| (b:) | rot6 + rot8 + k * rot7 = 0 |
| (c:) | n10 * rot10 + n11 * rot11 = 0 |
| (d:) | rot1 = rot2 |
| (e:) | rot3 = rot4 = 0 |
| (f:) | rot5 = rot6 |
| (g:) | rot8 = rot9 |
| (h:) | rot7 = rot10 |
| (a,d,e,f=>i) | rot6 = - rot1 |
| (b,g,i=>j) | rot10 = (rot1 - rot9) / k |
| (c,j=>k) | rot11 = (rot9 - rot1) * (n10 / n11) / k |
| (l:) | d9 * rot9 * PI = 2 * t * PI | d1 * rot1 * PI = 2 * t * PI | |
| (m:) | rot1 = 0 | rot9 = 0 | |
| (n:) | rot11 = 1 | rot11 = -1 | |
| (k=>) | rot9 = k * (n11 / n10) | rot1 = k * (n11 / n10) | |
| (l=>) | d9 = 2 * t / rot9 | d1 = 2 * t / rot1 |