​¿Qué está mal en el argumento que se muestra en el diagrama de flujo de l derecha? ¿Qué suposición hace el argumento?