tameness theorem