Доказательство первого достаточного условия локального экстремума в математике