>>35
同感。>>32の読み違いw
有限列で「証明できない」とは言ってないだろうに。