>>436
先頭からn個切り取ればいいだけだから、選択公理はいらないと思う。