箱入り無数目成立のために、rの具体化は不要、存在してさえいればよい。
具体化が必要と思うのはサル。存在だけで事足りることが理解できるのが人間様。