n m = 3

a | q a |= r

1	4. (q under a) = 3 5. (r under a) = 3 6. 3 = 3 a | q a |= r
2	4. (q under a) = 3 5. (r under a) = 3 6. 3 = 3 a | q a |= r
3	4. (q under a) = 3 5. (r under a) = 3 6. 3 = 3 a | q a |= r
4	4. (q under a) = 3 5. (r under a) = 3 6. 3 = 3 a | q a |= r
5	4. (q under a) = 3 5. (r under a) = 3 6. 3 = 3 a | q a |= r
6	4. (q under a) = 3 5. (r under a) = 3 6. 3 = 3 a | q a |= r
7	4. (q under a) = 3 5. (r under a) = 3 6. 3 = 3 a | q a |= r
8	4. (q under a) = 3 5. (r under a) = 3 6. 3 = 3 a | q a |= r
9	4. (q under a) = 3 5. (r under a) = 3 6. 3 = 3 a | q a |= r

About: