Partitioning large square matrices can sometimes make their inverses easier to compute, particularly if the blocks have

Question:

Partitioning large square matrices can sometimes make their inverses easier to compute, particularly if the blocks have a nice form. Verify by block multiplication that the inverse of a matrix, if partitioned as shown, is as claimed. (Assume that all inverses exist as needed.)

-1 B [c D.