Đáp án:
Giải thích các bước giải:
$-\left(-a+b+c\right)+\left(b+c-1\right)=\left(b-c+6\right)-\left(7-a+b\right)$
$-\left(-a+b+c\right)+b+c-1=b-c+6-\left(7-a+b\right)$
$a-b-c+b+c-1=b-c+6-7+a-b$
$a-1=a-c-1$
$a-1-a+1=-c$
`0=-c`
`->` Bất đẳng thức đúng `forall a`.