Theorem: Suppose A and B are positive definite matrices satisfying AB. Then A1B1.

Proof: Consider the partitioned matrix

M=[AIIB].

Noting that M is positive definite if AB, we can conclude that (M1)22 is also positive definite (as is its inverse). Using the Schur complement, we therefore have

B1IA1I=B1A10