The capital gain is sourced to Puerto Rico but also taxable in the US although a foreign tax credit will be allowed for the tax paid or accrued.  My understanding is that 480.6c is only a withholding certificate; taxes were withheld on gross income but the actual nonresident liability is to be determine on the nonresident tax return based on gain realized.