b18、19が使えないと証明するのがひじょーに難しい
むしろ不可能に違いんじゃないか