The structure sheaf O is quasi-isormophic to B on C_{B/A}

This kind of thing will be useful when we work with obstruction classes