우리가 아는 수학공식들은 그냥 나온게 아니라


이 식이 옳다는 걸 증명하고 나옴


그 증명과정에서 코딩 알고리즘 마냥, 쭉 풀었다가 우리가 코드 최적화 하듯이


식을 간략화 시키고


그러므로 이 공식이 성립한다. 라고 결론지어버림 ( 알고리즘의 결과가 출력 됨 )