When anything is known immediately, its existence is known by experience alone; when anything is proved to exist, without being known immediately, both experience and a priori principles must be required in the proof.