结构化程序定理演示 (顺序、判断、循环)