Utom de mängtaliga indirekta beivis omkolerans