Switch order lemmas to avoid forward reference
Relative pseudo-coherence for modules on schemes