Gọi biểu thức là 145 : a = b dư 12 (a, b € N, a > 12)
Vì 145 : a = b dư 12
=> a.b +12 = 145
=> a.b = 145 - 12 = 133
=> a, b phải thuộc ước chung của 133 ( gồm 1, 7, 19, 133 ), mà vì a > 12
=> a € { 19; 133 }
Vậy nếu a = 19 thì b = 7
a = 133 thì b = 1