hl theorem