Solutions by Dario Mazzeo.