identical theorem