存在和有解