supporting hyperplanes