特に断らない限り、多様体上の流れ(>>355)は C^∞ 級とする。