Antagandet as en rigtigberäkningsgrund