Häraf torde dock denslutsats