YSITD_TG_Bot
says to
#ysitd
<newyen2>: 證明出0=1，然後延伸證明出0=所有有理數 XD