`a) Do a>b => a+7 > b+7` (cộng với 1 số dương bpt giữ nguyên chiều )
`<=> (a+7)/9 > (b+7)/9` (chia cho 1 số dương bpt giữ nguyên chiều ) (đpcm)
`b) Do a>b => (a-3)>(b-3)`
`<=> -2(a-3)<-2(b-3)` ( nhân với số âm bất phương trình đổi chiều )
`<=> -2(z-3)+9<-2(b-3)+9` (cộng với 1 số dương bpt giữ nguyên chiều ) (đpcm)