Because , part (a) says that the squared norm of is either one or two. It is one exactly when the restriction is irreducible, whereas it is two exactly when vanishes throughout . Thus condition (1) is equivalent to the existence in condition (2).
On we always have , while outside we have . Therefore exactly when vanishes outside . This proves all three equivalences in the index-two character restriction dichotomy: