まあ、>>1はこの未解決問題を諦めることだろうな。