Let me guess, you have been playing a crossword game and got stuck on the clue "Efficiently stated, as a theorem". Well, you have come to the right place to find the answer to this clue.