Talk:Principal orbit type theorem