for U being Grothendieck holds U is Tarski