Description: The Hartogs number of a set is never zero.MOVABLE (Contributed by Stefan O'Rear, 9-Jul-2015)