till beviset genom en slutledningeller