29. 乗算
MULT m n
= (S (S (K S) (S (K (S I)) (S (K K) PLUS))) (K (K ZERO))) m n
= (S (K S) (S (K (S I)) (S (K K) PLUS)) m) (K ZERO) n
= (S (S (K (S I)) (S (K K) PLUS) m) (K ZERO) n)
= (S (S I (S (K K) PLUS m)) (K ZERO)) n
= (S (S I (K (PLUS m))) (K ZERO)) n
= (S I (K (PLUS m)) n) ZERO
= (n (PLUS m)) ZERO
30. べき乗
POW m n
= (S (S (K S) (S (K (S I)) (S (K K) MULT))) (K (K ONE))) m n
= (n (MULT m)) ONE