t≠2が要なのだが
あと、E∈Uは仮定されていない(簡単に修正できるが)