简论效力论前提的证立