収束列 <==> 基本列 なんだから自明