Об одном теоретическом принципе системного программирования