admin

先假设存在，有解时要答案，无解时不存在。
定值，先求定值，特殊化。后证明。