自然数x,yにおいて、
τ( x , y ) = { x-y (x≧y) , 0 (else)}
が原始帰納的に証明されているとき、
min( x , y ) = { x (x≦y) , y (else)}
を証明せよ。
なお、使って良いのは原始帰納的関数の基本関数と、演算、上の定義のみです。
よろしくお願いします。