Incomplete_Gamma.Incomplete_Gamma_Lemma_Bucket