showgan@tg says to YSITD
要證的是 0 有一個後繼數