Изменения

## Умножение матриц не является коммутативной операцией, добавить другой пример

## Свойства и картинки нормально оформить

## Добавить категории

## Доказательство оформить в виде шаблона теоремы или заменить на "Корректность"