Would a proof for "you can't prove a negative" constitute a proof of a negative?