properties of inverse matrix proof