bewisat riktigheten as wärl antagande.