Seja e considere as matrizes reais . O produto será inversível se e somente se: