5g: SumContainsλ()