Aigner Theorem 6.4.