¿Cual es el desarrollo de las siguiente demostración utilizando el principio del buen orden?

Concluir la demostración desarrollando lo siguiente

$$n+m=s(t)+s(p)$$

Utilizando la definición suma y la condición de minimalidad de m con el principio del buen orden