Dim_1112@tg says to YSITD
絕對就是沒有反例阿