If a proposed positive proof fails, what necessarily follows?

The Indivisible Atom: Arguments, Infinite Division and Objections

Only that this particular proof is not conclusive
That the rival definition must be contradictory
That the negation is decisively proved
That all other arguments are automatically invalid