宇宙際タイヒミュラー理論、という名前で名前で思い出した
自前の新理論構築して証明してるから正しいかどうかを数学者が
検証するのに時間がかかるだろう、って言われてたあれか