1.6.36 Поля, группы, кольца

условие: Доказать, что квадратные матрицы порядка \( n \), в каждой строке и в каждом столбце которых имеется не более чем один элемент, равный 1, а остальные нули, образуют полугруппу.