suppose E is uncountable but G is countable. we have clearly G can't be finite. so to get a contradiction, you need to show that the union of an infinite countable set with a finite set is

infinite countable. to show this let define the map by: obviously is bijective and hence is countable.