Greene's duality theorem regular permutation