>>811
> 選択関数は Aの整列までで 十分なのです!!
 君、関数の定義知ってる? 君の関数理解 間違ってるよ