theorem (logic)