Na str. 35 „Python Essential Reference” Davida Beazleya stwierdza po pierwsze:

W przypadku danych niezmiennych, takich jak łańcuchy, interpreter agresywnie dzieli obiekty między różnymi częściami programu.

Jednak później na tej samej stronie stwierdza

W przypadku niezmiennych obiektów, takich jak liczby i łańcuchy, to przypisanie skutecznie tworzy kopię.

Ale czy nie jest to sprzeczność? Z jednej strony mówi, że są dzielone, ale potem mówi, że są kopiowane.