Noun
A
proposition
proved
or
accepted
for
immediate
use
in
the
proof
of
some
other
proposition
.