Forgot to usepckg amsthm (it should´t compile...)