Gdzie jest napisane, że prawdziwe imię cesarzowej Tianzi to Jiang Lihua?

Jak postarzać kozę

W Wikipedii i Wikii dla cesarzowej Tianzi podano, że jej prawdziwe nazwisko to Jiang Lihua.

Skąd pochodzą te informacje? Nigdy nie jest to określone jako takie w R2 więc jakie informacje poboczne to przekazują?

Prawdziwe imię cesarzowej Tianzi nigdy nie pojawia się w serialu anime; jest to określone tylko w Code Geass: Lelouch of the Rebellion R2 oficjalny przewodnik.

Według encyklopedii pixiv (po japońsku)

TV [...]

[…] Prawdziwe imię Tianzi. Chociaż jej prawdziwe imię nie pojawia się w telewizyjnym anime, zostało to podane w Code Geassbroszura z dodatkiem, która została wydana przed ostatnim odcinkiem. […]

Poszukując dalszych informacji, na podstawie posta na blogu Tare-pannda (po japońsku), jej prawdziwe imię zostało podane w Code Geass Lelouch z Rebellion R2 Kompletny oficjalny przewodnik (Po japońsku), gdzie bloger wspomniał o treści książki: