使用PAD符号所设计出来的程序必然是结构化程序。