Precondition für die multiplikation implementiert ArrayMatrix.java