∃xP(x)⇒∃yP(y)