f( x, y ) を

f( x, 0 ) = x+1
f( 0, y+1 ) = f( 1, y )
f( x+1, y+1 ) = f( f( x, y+1 ), y )

と定義した場合

f( 100, 100 ) は素数ですか?