けんき says to YSITD
也只能說是用數學家的結論來證明吧