Couldn't find “Theorem” automatically.