Theorem MMZM Matrix Multiplication and the Zero Matrix

Suppose $A$ is an $m\times n$ matrix. Then

  1. $A\zeromatrix_{n\times p}=\zeromatrix_{m\times p}$
  2. $\zeromatrix_{p\times m}A=\zeromatrix_{p\times n}$

Proof
(in context)