AX^{-1}B-A^2=AX^{-1}