Why must the product of two invertible matrices be invertible?