Item3
We (finally) noted that \(\Null(P)=\Range(I-P)\text{.}\)
in-context