GOTO Statement Considered Harmful

Computer Science Level 1

Can any program written using GOTO statements be transformed into an equivalent program without GOTO statements, but just IF statements and WHILE loops?

Two programs are equivalent if they map the same input to the same output.