案例一 程序具有独立的内在价值