här nödigt alt litet deducera satsen lör att komma till bevisen.