Доказательство теоремы сложения вероятностей: разбор и примеры