inserted proof of hedbergs theorem