Формула включений/исключений для N множеств с доказательством