４．関数の完全性