遺伝子で正しいと証明するのは難しいが
間違っていると証明するのには有効

使いどころを考えないと