Hans grundsats ar , at haldrean