Is it the case that in every year, the sum of the total electricity produced in China and total electricity produced in Syrian Arab Republic is greater than the sum of total electricity produced in Slovak Republic and total electricity produced in Kenya ?