Theorem. Admission of a finite audit plan [ftip-00IM]
Theorem. Admission of a finite audit plan [ftip-00IM]
A finite audit plan with nonnegative stage costs is admissible exactly when its declared additive cost is within budget; adding a positive stage beyond slack is inadmissible, by Theorem [ftip-00HX].