[L., a bringing down.] A proposition in geometry, the proof of which can be deduced from Euclid's propositions.