. "theorem" . "theorem" . .