Separable permutations and Greene's Theorem