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