Avanti con la dimostrazione del teorema su ESOmon.