プログラムB7_2のシーケンスは図7-2になります。オブジェクトは1つだという事がわかります。つまり、変数名は2つありますが、オブジェクトは1つという事がわかります。
2つの変数が同じオブジェクトを参照していることがわかります。