列としての証明