Article 45 TFUE and Article 7 of Regulation (EU) No 492/2011 on freedom of movement for workers within the Union must be interpreted as not precluding, in circumstances such as those at issue in the main proceedings, the amount of the insolvency benefit awarded by a Member State to a frontier worker who is not subject to income tax in that State, and for whom that benefit, under the provisions applicable to him, is not taxable, from being determined by deducting income tax, as it applies in that State, from the remuneration used to calculate that benefit, with the consequence that that frontier worker, unlike persons working and residing in that State, does not receive a benefit corresponding to his previous net remuneration. The fact that that worker does not have a claim against his employer corresponding to the part of his previous gross salary which he has not received because of that deduction has no effect in that regard.