Den formella riktigheten af dennadom