Yes. You pay tax on the full amount before the tax withholding was taken out. Then you get credit for the withholding on line 25b. You didn't pay the tax. That was just estimated withholding to cover the tax due on your return.
