Define Yn = span{x1...xn}.
Yn = span{x1...xn} を定義する。