Equivalence derived categories in formal glueing situation

This lemma tells us that the result of Bhargav Bhatt's preprint
applies to Situation \ref{situation-formal-glueing}. This is also
shown by different methods and in greater generality in Bhargav's
preprint.