lambda1@tg
says to
YSITD
isomorphism 是指一樣的形狀