Description: Theorem about the existence of infinite recursive sets. y should usually be free in B . (Contributed by ML, 30-Mar-2022)