lämnar ett nytt bevis för den gamla satsen,