Comments on the FTC antitrust investigation of Google

The tech arguments would carry now water if the implementation was formally verified, as that takes serious work beyond writing code. While actually proving it's correct.

Now the big question is, isn't every proven code mathematically equivalent (if proven to be) and thus not patentable, like an equation, because there's only literally one way to make it? Or does it fall under the completely broken algorithmic patent which achieve opposite goals to ones started by patent law?

Next, copyright on equations. Does it exist, can I prevent someone from using my math notation? Code is even funnier, since it technically is a math notation in words. So would Euclid be copyrighted now so nobody could develop geometry using his words?