自然演繹により、次の論理式を証明せよ

(A→(B→C))→(B→(A→C))
(A→B)→((B→C)→(A→C))


次のλ式の型を求めよ

λxy.xy
(λxy.x(xy))(λz.z)