Bug Fact rule

I was not able to confirm this bug fact, hard to search a math theorem without a name. If anyone knows what this theorem is called and if it is true id be glad to know