The distinction between the concept of “nothing” as general concept, and “nothing” as a numerical value is non-trivial. And like, a mathematical proof that outlines that numerical concept of “nothing” is important.