är ett nytt bewis för denna sats.