一、程序分离及其内在法理