Form 8833 if W-2 Already Included Deduction?

I was wondering if you must file Form 8833 with your tax return if box 1 of your W-2 already includes a deduction. More specifically, the China Tax-Treaty gives a $5000 tax credit for a resident alien. If box 1, for federal wages, is $5000 less than box 16, for state wages, do you need to file Form 8833?