Demonstrations almost always are about sufficiency, not necessity.

If I make a machine that walks to the store, I have shown that walking is sufficient to get to the store. I have not ruled out the possibility that you bicycle to the store.

But if there has been a long running passionate debate on whether walking could ever get you to the store, showing sufficiency can settle that.