You need to figure if a wellfounded and wellsized iterable is completely empty.
An iterable x0 is wellfounded if there is no infinite sequence
... in x3 in x2 in x1 in x0(where
inis meant iteratively,
x(n+1)will be encountered while iterating through
A wellfounded iterable is wellsized if it has only finitely many iterable elements, and all of them are wellsized.
A wellfounded iterable is completely empty when all its elements are completely...