highest weight theorem