イベント時系列を証明
