4.4.1.0.1 証明

Strum 列については別に一つの章をもうけて説明するので、そこで述べること にする。