[sullyj3]

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

[niklasd]

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