Is the product of two invertible matrices also invertible?