heinakoorem 1(n)