A->A 는 동일률이라서 항상 참


A->B->C->A 는 A=B=C 와 동치


따라서 A->A 의 앞의 A나 뒤의 A에 A,B,C 뭘넣든 동일률이라서 참


따라서 A->B->C->A 를 가정할때 동일률에 의해 참


따라서 모든것은 순환한다..


왜틀렸는지 모르겠어