E+E\supseteq C+C