Оператор Multiply, применяемый к списку (структура данных)

Я читаю как думать, как компьютерщик который является вводным текстом для "программирования Python".

Я хочу уточнить поведение оператора умножения (*) при применении в списки.

рассмотрим функцию make_matrix

def make_matrix(rows, columns):
"""
  >>> make_matrix(4, 2)
  [[0, 0], [0, 0], [0, 0], [0, 0]]
  >>> m = make_matrix(4, 2)
  >>> m[1][1] = 7
  >>> m
  [[0, 0], [0, 7], [0, 0], [0, 0]]
"""
return [[0] * columns] * rows

фактический выход составляет

[[0, 7], [0, 7], [0, 7], [0, 7]]

правильная версия make_matrix - это :

def make_matrix(rows, columns):
"""
  >>> make_matrix(3, 5)
  [[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]]
  >>> make_matrix(4, 2)
  [[0, 0], [0, 0], [0, 0], [0, 0]]
  >>> m = make_matrix(4, 2)
  >>> m[1][1] = 7
  >>> m
  [[0, 0], [0, 7], [0, 0], [0, 0]]
"""
matrix = []
for row in range(rows):
    matrix += [[0] * columns]
return matrix

Причина первая версия make_matrix терпит неудачу ( как объясняется в книге в 9.8 ) , это

...каждая строка является псевдонимом других строк...

интересно, почему

[[0] * columns] * rows

причины ...каждая строка является псевдонимом других строк...

а не

[[0] * columns]

то есть почему каждый [0] в строке не является псевдонимом другого элемента строки.