>304 定理環境すべてで同一のカウンタを使うことです。この例ならthm,corで区別せずに。