lukacs theorem