θεώρημα), in geometry is a truth to be proved, whereas a problem is something to be done. It is likewise applied to a discovered law which is believed to hold in the particular science or branch of a science in which it is discovered, as the Binomial Theorem, and Taylor's Theorem in algebra.