Add to lemmas for schemes which we already have for algebraic spaces