Aadd9がDmの代理コードFに対するドミナントという考え方はダメですか?