Si pudiéramos probar que no existen esas (y todas las demás) alternativas, el argumento sería correcto.