Fish Wang
says to
YSITD
無法證明，而且看起來結果上沒有差別