. . . . "theoremation"@la . "theoremation" . .