Every WHILE program can be simulated using a GOTO program, and vice versa. In other words, the set of all WHILE-computable functions is equivalent to the set of all GOTO-computable functions, formally
\[W H I L E^{part} = G O T O^{part}\]
and
\[W H I L E = G O T O.\]
Proofs: 1