Is it the case that in every year, the sum of the total electricity produced in Kazakhstan and total electricity produced in Cote d'Ivoire is greater than the total electricity produced in Korea (Democratic) ?