Доказательство какого закона приведено ниже?

Приведённое доказательство иллюстрирует распределительный закон: m * (a + b) = m * a + m * b.