इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें संरचित प्रोग्राम प्रमेय प्रोग्रामिंग भाषा सिद्धांत का एक परिणाम है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "संरचित कार्यक्रम प्रमेय प्रोग्रामिंग भाषा सिद्धांत में एक परिणाम है जिसे पहली बार औपचारिक रूप से 1966 में कोर्राडो बोहम और गुइसेपे जैकोपिनी द्वारा सिद्ध किया गया था। "