로그의증명이나 가우스함수 상용로그 이런거도 내신에 잘 나옴?유형이 너무많아서 힘드네