k:
, r1,r2:k, q1,q2:
. q1
k-r1
q2k-r2 
q1q2k:, r1,r2:k, q1,q2:. q1k+r1q2k+r2 q1q2| Rank | Theorem | Name |
| 3 | k:, r1,r2:k, q1,q2:. q1k-r1q2k-r2 q1q2 | [division_mono2_sfa] |
| cites the following: | ||
| 2 | k:, r1,r2:k, q1,q2:. q1k+r1q2k+r2 q1q2 | [division_mono1_sfa] |