TRACE THEOREM ON THE HEISENBERG GROUP ON