События H₁, H₂, …, H_n образуют полную группу событий, если они попарно несовместимы и вместе образуют достоверное событие.

Теорема. Если события H₁, H₂, …, H_n образуют полную группу, а событие A происходит в результате появления одного и только одного из событий H_i, то

.

Доказательство. Согласно условиям теоремы, событие A представляет собой объединение независимых событий  :

Поскольку события  взаимно исключают друг друга (не имеют общих точек), то вероятность  P (A)  равна сумме вероятностей независимых событий: