高校で数学が得意だという理由で数学科に進学した人は大部分が多様体で挫折するのである