A name given to that part of algebra which consists in the direct search after unknown quantities.
In mathematics, a fact discovered in proving some other fact; an inference. ...