Ai fini dell'estinzione della pena ex art. 172, comma quinto c.p., qualora l'esecuzione della pena sia subordinata alla scadenza di un termine o al verificarsi di una condizione, il dies a quo da computare decorre dal giorno in cui è divenuta definitiva la decisione che ha accertato la causa della revoca, in quanto solo da quel momento si ha la certezza giudiziale dell'avvenuta verificazione della causa risolutiva.