Prove $E = (2 + i\sqrt{5})^7 + (2-i\sqrt{5})^7 \in \mathbb{R}$.