exists positive solution