Are you looking for Knuth's paper Structured Programming with Goto Statements? http://c2.com/cgi/wiki?StructuredProgrammingWithGoToStatements
I don't remember a theorem in there, but I haven't read it for decades, so ... Laura -- https://mail.python.org/mailman/listinfo/python-list
