Comment by danabramov

What do you want me to call it? I'm fine calling it your result if you want.