Harish-Chandra theorem