じゃあたとえば
ヒドラの定義と
ヒドラがwell-definedである証明
をしてください