Primo test con un teorema.
Pulizia al progetto.