YSITD_Chat_Bot says to #ysitd
<koru1130>: (s3131212: 求詳細?) 函數兩邊必須等勢才能構造 bijection