함수형 프로그래밍 계산이 람다 대수를 통해 가능하다는걸 증명 ㄷㄷ
-물론 위키에서 컨닝해서 적었습니다