petercommand@tg says to YSITD
可逆是定義成不具有 preimage resistance 嗎