Something which is already known independently, or something which is to be used in the course of a proof. For example the epsilon‐delta method of proof usually states ‘Given ε>0, there exists a δ’, by which is meant ‘For any ε you choose, no matter how small, I can find a value of δ for which…’.