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