猫は多様体論やる前に曲面論(初等微分幾何)をやった?