1. Так как A∩B является подмножеством A, то количество благоприятных исходов для A∩B не превышает количество благоприятных исходов для A. Следовательно, P(A∩B) ≤ P(A).
2. Аналогично, так как A∩B является подмножеством B, то P(A∩B) ≤ P(B).
3. Если A и B не совпадают полностью, то неравенства строгие. Доказано.