Bevis för sin sats söker förf.lemna