Technique for proving that two expressions are equal by showing that they both count the size of the same set