theoremically