It's patenting a math theorem by replacing the generic variables with more concrete objects. This too could be patented: "a technique for calculating the number of facade bricks of a stone pyramidal structure"