A proposition which terminates in theory, and which considers the properties of things already made or done. Or, theorem is a speculative proposition, deduced from several definitions compared together.