증명과정에서 쓰는 것 같은데... 이것때문에 항진명제라고 하네요