⟨
E
1
E
2
⟩
≠
0