>>638
(0,1) と [0,1] は同型じゃないと思うけど、
違う値になるのかな?