시스템 S로 정리 하나 증몀해봤습니다.

[익명(118.219)]

책에는 한 8줄인데
형식에 맞춰쓰려니 엄청 기네요

[Yudwig(kimkurt)]

일일이 다 써보는 게 연습으로 최고입니다 ㅋㅋ

[익명(223.33)]

항상 증명할때 구조가 엉성해서 찝찝했는데 형식대로 쓰니 명확하고 모양도 이쁘네요