ML-1989-04: de Jongh, Dick and Jumulet, Marc and Montagna, Franco (1989) On the Proof of Solovay's Theorem. [Report]