finished hk theorem + variational principle