Tenga en cuenta que
$$
\begin{align}
(A-I)B
&=(A-I)(A^2+A-6I)\\
&=(A-2I)(A^2+2A-3I)\\[4pt]
&=0
\end{align}
$$
Por lo tanto, a menos que $A=I$, y por lo tanto, $B=-4I$, $(A-I)B=0$ implica que $B$ no es invertible.
Aclaración: Supongamos que $B^{-1}$ existe, entonces
$$
\begin{align}
A-I
&=(A-I)BB^{-1}\\
&=0B^{-1}\\[6pt]
&=0
\end{align}
$$
Por lo tanto, si $B^{-1}$ existe,$A=I$. Este es el contapositive de la "si $A\ne I$, $B$ no es invertible".
Un poco de explicación
He utilizado el de Euclides-Wallis Algoritmo para probar y escribir $(A^2+A-6I)x+(A^2+2A-3I)y=I$ a calcular una inversa de a $A^2+A-6I\bmod A^2+2A-3I$:
$$
\begin{array}{c|c}
&&1&-A+I\\\hline
1&0&1&A-I\\
0&1&-1&-A+2I\\
A^2+A-6I&A^2+2A-3I&-A-3I&0
\end{array}
$$
Por desgracia, esto demostró que el $A+3I$ fue el MCD de a$A^2+A-6I$$A^2+2A-3I$. Sin embargo, este hecho demuestra que
$$
(A-I)(A^2+A-6I)-(A-2I)(A^2+2A-3I)=0
$$
que fue utilizado en la respuesta anterior.