Derivation of a matrix identity

In problems of linear digital filtering and recursive estimation, a matrix identity (1) is often met. Here this matrix identity is derived by use of matrix projection operator's and their properties. This deviation is novel, straightforward, and of tutorial value.