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.
Your answer seems reasonable.
Find out if you're right!