Màxim relatiu implica derivada zero