be the given event, and

extends over and

over

, then

extends over