When reporting the payment of foreign tax, there is a section: "Other gross income - [country name]"
The question is about reporting the capital gain from selling the rental property in this (above) section after it was already reported as income in the rental properties and royalties section.
