The algebra test for invertibility is the determinant