update to theme and use AMS numbering
use Termes