Lie, Sophus