部分関数従属してても分割しない理由って分けても一対一のときって言うことですか？