Highest weight vector