Man har länge nog hastsannolikhetsbewis