to deduce a theorem — выводить теорему
to formulate a theorem — формулировать теорему
to prove a theorem — доказывать теорему
to test a theorem — проверять теорему