Ett bewis pä wärdct af fwamp är ,att