따름정리란 이미 증명된 다른 정리로부터 쉽게 밝혀낼 수 있는 부가적인 명제로서 추론이라고도 불린다. 예를 들어서 ‘삼각형의 세 내각의 합은 180도이다’라는 정리가 있다고 하자. 이를 이용하면 ‘어떤 삼각형도 하나 이상의 둔각을 내각으로 가질 수는 없다’라는 정리를 쉽게 추론해낼 수 있다. 둔각은 90도 이상의 각을 이야기하므로, 두 개 이상의 둔각을 내각으로 가질 경우 그 내각은 이미 180도를 초과하기 때문이다.