Leave-one-out residual identity for a linear smoother

If a linear smoother has fitted vector $\hat{Y}=HY$, its residual after fitting without observation $i$ isThe identity follows from a block matrix inverse or a rank-one inverse update.