Talk:Thompson uniqueness theorem