Ex0=Ey0