An alternate proof
There is no distinction between existence
and non-existence of the Void
Therefore the Void may be taken to
exist
This in turn implies existence of
the Void
Details of proof are in notes to
the Objections and counterarguments slides