# Re(k), E-Ef # k-point 1