That is stretching the definitions of proofs.

    assert random() != 0.