Comment Comment by RBerenguel And the proof is simpler than it would appear from reading the enunciate (at least that's what I think, of course!) parent RBerenguel 16 years ago