سواء كان صحيحا أم خطأ: إذا كان X ≥ 0 تقريبا مؤكد وE[X] = 0، فإن X = 0 تقريبا مؤكد.