 Under the hypothesis that the CR Paneitz Operator is non-negative and the CR Yamabe constant is positive, one has global embedding.The second condition can be weakened to a non-CR invariant condition by demanding the Webster curvature of the abstract manifold be bounded below by a positive constant.It allows the authors to get a sharp lower bound on the first positive eigenvalue of Kohn's Laplacian.