[xenadu02]

How is GOTO not equivalent to WHILE? You can emulate any arbitrary flow-control construct with GOTO.

[sullyj3]

Presumably you need another proof for GOTO >= WHILE and therefore GOTO = WHILE

[niklasd]

Exactly. You emulate every WHILE instruction with a GOTO insturction.