lång bevisföring för att komma till denslutsats