Add theorems of block matrices to preliminaries