(αが極限順序数の時のVαは冪じゃ無いのにね)