För att bevisa riktighetenaf