TTT와 하이랜더가 이를 증명