Greene theorem