"mathematical theorem" . "mathematical theorem" . . .