At the conclusion of Example CMI, verify that $BA=I_5$ by computing the matrix product.