At: rect enumer 1 3 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2
1. n: 
2. m:
3. a3: 
4. 0 
a3 < n
5. a4:
6. 0 a4 < m
7. a5:
8. 0 a5 < n
9. a6:
10. 0 a6 < m
11. a3
m+a4 = a5m+a6 
(nm)
12. (a4 rem m) = a4
13. (a6 rem m) = a6
a4 = a6 m
By: Analyze
Generated subgoals:
About:
