理論的に成立しないことを証明できたら、それは仕事として失敗じゃないと思うが。