関数型言語F#のラムダ計算で引き算ができません