>>54
長方形自体が可微分多様体だろ