noun

a proposition that follows from (and is often appended to) one already proved.

adjective

forming a proposition that follows from one already proved.