Eine Kochen-Specker-Ungleichung aus einem SIC