ఈ వాక్యం యొక్క మరింత సంక్లిష్ట సంస్కరణను రూపొందించండి నిర్మాణాత్మక ప్రోగ్రామ్ సిద్ధాంతం ప్రోగ్రామింగ్ భాష సిద్ధాంతంలో ఫలితం.
వాస్తవానికి, వాక్యం యొక్క మరింత సంక్లిష్టమైన సంస్కరణ "వ్యవస్థీకృత ప్రోగ్రామ్ సిద్ధాంతం ప్రోగ్రామింగ్ లాంగ్వేజ్ సిద్ధాంతంలో ఒక ఫలితం, ఇది మొదటిసారిగా 1966 లో కోర్రాడో బోమ్ మరియు గిసెప్పే జాకోపిని చేత అధికారికంగా నిరూపించబడింది. "