inverse matrix condition for existence