If a divergent trajectory exists, it cannot be equidistributed . Indeed if one definesthen it can be proved that the condition (2.30) implies that
Theorem F constrains the possible behavior of divergent trajectories. Indeed, associated to any divergent trajectory is the infinite set and for all . Since for all , Theorem F implies thatwhere . Roughly speaking, (2.32) asserts that the elements of a divergent trajectory cannot go to infinity ``too slowly.''