Some Theorems Relevant to Life Testing from an Exponential Distribution