theorem

a truth established by means of accepted truths

3