[slim]

you say he's paying double taxes both in US and UK ?

[desas]

Very broadly and simply speaking you can write-off UK taxes against the US tax bill and vice versa. There's much more nuance than that though.