前提:(存在xF(x))→(对任意xG(x))