反矩陣證明