fix some definition in theorem env