はあ、結局

トパーズとケドラヤは3.11
→3.12の数学の証明ができないだろう。