If the shorter list terminates, how does the proof infer termination of the longer?

The Originator of the World: Necessary Existence, Infinite Regress and the Correspondence Proof

• Because every number is one
• Because every body is necessary
• Because measurement is sensory impossible
• Because adding a finite amount to a finite total remains finite