Proofs involving the Moore–Penrose inverse