Vì:
` a + 2 \vdots b `
` b + 3 \vdots a `
` => a + 2 + b + 3 \vdots a + b `
` => a + b + 5 \vdots a + b `
Do: ` a + b \vdots a + b `
` => 5 \vdots a + b `
` => a + b ∈ Ư(5) = { ± 1 ; ± 5 } ` ` ( `Vì ` a + b ≥ 0 <=> a ≥ 1 ; b ≥ 1) `
` => (a ; b) = { (1;4) ; (2;3) ; (4;1) ; (3;2) } `