Article 23 relief, not exemption
Danish income tax paid is generally creditable against US tax on the same income through Form 1116, computed per income category. Relief is a credit mechanism — it reduces double taxation, it does not remove the obligation to file.