In this paper, we make an effort to establish Lieb's and Lions' type
theorems on Heisenberg Group, and then apply them to study the existence
of solution for variational problem on Heisenberg group.