A preliminary or auxiliary proposition demonstrated or accepted for immediate use in the demonstration of some other proposition as in mathematics or logic