Due to R. Penrose. Any matrix can be partitioned in the form
[
A B
C CA⁻¹B
]
(using a suitable arrangement of rows and columns), A being any non-singular submatrix whose rank is equal to that of the whole matrix. Please explain proof (verify) that AA∗ + BB∗ and A∗A + B∗B are positive definite.