more change definition to theorem env
more change definition to theorem env in userpayoff