a. Suppose \(A \in \mathcal{M}_{m \times n}, B \in \mathcal{M}_{n \times m}\),
and \(B A=I_{n}\). Prove that if for some \(\mathbf{b} \in \mathbb{R}^{m}\) the
equation \(A \mathbf{x}=\mathbf{b}\) has a solution, then that solution is
unique.
b. Suppose \(A \in \mathcal{M}_{m \times n}, C \in \mathcal{M}_{n \times m}\),
and \(A C=I_{m}\). Prove that the system \(A \mathbf{x}=\mathbf{b}\) is consistent
for every \(\mathbf{b} \in \mathbb{R}^{m}\).
$$
\begin{aligned}
(A+B)^{k} &=\sum_{i=0}^{k} \frac{k !}{i !(k-i) !} A^{k-i} B^{i} \\
&=A^{k}+k A^{k-1} B+\frac{k(k-1)}{2} A^{k-2} B^{2}+\frac{k(k-1)(k-2)}{6}
A^{k-3} B^{3} \\
&+\cdots+k A B^{k-1}+B^{k}
\end{aligned}
$$
Show that the result is false when \(A B \neq B A\).