Доказательство теоремы об определителе произведения матриц: шаг за шагом