In effetti, a posteriori, basta dimostrare che il 9 non sta bene da nessuna parte. Certo, a priori bisogna avere almeno il sentore che il sospettato sia il 9 :-)