Castelnuovo theorem