The proof also employs an identity of normalized wavefunctions – that derivatives of the overlap of a wave function with itself must be zero. Using Dirac's bra–ket notation these two conditions are written as