The thm stateemnt
