Definition:Theorem of Logic