Sophus Lie ägde snillets och andens auktoritet.