. "a little theorem" . "a little theorem" . .