> 2. it is mathematically proved that, goto is not needed.
> Any control flow involves goto, can be rewritten without goto.
That's a bit stretched. I mean if the equivalence is the Turing equivalence than you can program with lambda expressionas or POST systems, but when you take into account time complexity, or space complexity and you take into account O(1) differencees then it's not quite like this.