Check condition [4] for Coh_{X/B}