(You can think of this as formalizing the principle for an optimizing compiler: "You are allowed to transform C 1 {\displaystyle C_{1}} as if it were stand-alone, even if it is just the first part of a program.")
(Η αρχή ενός μεταγλωττιστή που κάνει βελτιστοποιήσεις: "Μπορούμε να μετατρέψουμε το C 1 {\displaystyle C_{1}} σαν να ήταν μόνο του, ακόμα και αν είναι απλά το πρώτο μέρος ενός προγράμματος.")