>>556が反例になってない件について