A⊂A 는 동일률로 항상 참


A⊂B⊂C⊂A 는 A=B=C 와 동치


A⊂A 의 앞의 A, 뒤의 A에 A,B,C 뭘넣어도 동일률로서 참


A⊂B⊂C⊂A 는 동일률에 의해 항상참


결론은


A⊂B⊂C⊂A 처럼 순환관계를 이룬다는 사실이 참이라는 거다