>>195
ちなみに今のプログラムで反例が見つかっても>>193に繋げられる?