Häraf kail man draga denslutsats