Is it the case that in every year, the sum of the proportion of the female labor force who participated in production in Korea (Republic) and proportion of the female labor force who participated in production in United Kingdom is greater than the proportion of the female labor force who participated in production in United States ?