Description: Zero is in the old set of any non-zero number. (Contributed by Scott Fenton, 13-Mar-2025)