En lång bevisning försöker Förf. för sin första sats,