＝length((x:xs)++m)(app2より)