非等価じゃキツいんじゃないか?