>>576は、箱入り無数目のR^N(=N→R)を[0,1)→Rに置き換えただけである

ちなみに
NをN*(=N∪{ω})としてはならないのと同様
[0,1)と[0,1]としてはならない