7One can call it Caicedo’s Theorem or the Blass–Gurevich Theorem. Its proof first presented in [Caic], but [Blas] claims before the theorem (Prop. 3.2.) that the proposition is a folklore and “it is mentioned in [Caic] without a reference”.