|EV''| = \frac{|EF|\sqrt{2}}{2}