"half-linear equation%roundabout theorem%principal solution" . . . "half-linear equation%roundabout theorem%principal solution" .