0 const 0 in PrimRec by Th73;
hence not for b₁ being Element of PrimRec holds b₁ is empty ; :: thesis: verum