Only the preconditions tell us that we will deal with square matrices, while the task talks about (general) matrices and perfectly makes sense that way. I would consider it cleaner to either talk about square matrices up front or weaken the preconditions to allow for non-square matrices, too.