Block Matrix Invertibility: Implicit Function Theorem supplement