I’m not sure a person can name a law after himself, but if I had a law I would want it to be this:
Any non-additive change to non-test code that causes no test failures is a valid change and does not reduce the correctness of the code.
By extension, the first corollary would have to be this:
The full definition of correct behavior of code exists in the tests for that code.
Think about it.