6.3 程序的派生性