Häraf förklaras lätt denomätliga