2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/124613We show that, if PA has no non-standard models, then P=/=NP. We then give an elementary proof that PA has no non-standard models.8 pages; major revision; earlier argument replaced by an elementary proof that PA has no non-standard model; an HTML version is available at http://alixcomsi.com/An_elementary_proof.htmGeneral Mathematics03B10text