Dimostrazione primo teorema