Moved ckeck about theorem from parser to check of theorems.