>>787
(7,9)のとき成り立つ?