The product $AB$ is $m\times p$, so multiplying it by the $p\times q$ <matrix> $C$ gives an \b[$m\times q$ <matrix>]. The product $BC$ is $n\times q$, so multiplying it on the left by the $m\times n$ <matrix> $A$ also gives an \b[$m\times q$ <matrix>]. Both multiplications have matching inner <dimensions>.

Solution

Past exam of the year 1 of the computer science course of the University of Oxford / 2019 / Digital systems, linear algebra, introduction to formal proof / 4 / b / i / Solution

 Solution (source code)