>>62
min(カブトカニ形) < min(シオマネキ形)はいえるけど
カブトカニ形より小さい解がないと言えるんだろうか?