Programming/이론정리(2)