The determinant of an inverse · Proofwise