:

(vi) If

and

are any two events, there are events such as

where

and