Según lo visto más arriba, la formalización de este argumento es la siguiente: