Gentle Correctness Verification of the Theory of Uncertain Event Prognosis to Compute Failure Time Probability