Benchmark Full Proof - GIUSEPPES RISTORANTE ITA