termination theorem