Mayer-Vietoris sequence