[JohnKemeny]

That is stretching the definitions of proofs.

    assert random() != 0.

QED