第一、第二ってよりは、部分関数従属と推移的従属を見極める作業なんだが