Häraf kan åter denslutsats