개념때 혹시 공식 증명 유도과정 다 보여줌?