Removed amsthm package + fixed wrong ref