YSITD_Chat_Bot
says to
#ysitd
<koru1130>: 欸欸 好像有個定理是說一個集合裡面一定有一個最小的元素