Condition for global minimum through abstract convexity by Evgeny Sharikov