>>460
>rの具体化は、可能だ
じゃあ具体化された r:R^N→R^N の定義を書いてみて