この直感的な証明が一般的な性質に対してまだ公表されていない理由は、その複雑さと技術的挑戦に起因します。非自明であり、満たすべき条件や制約が多岐にわたる性質を包括するための厳密かつ普遍的な証明を導くことは容易ではありません。また、既存の手法やアプローチでは十分に説得力のある結果を得ることが難しい場合もあります。
さらに、計算理論やプロパティテスト分野は常に進化し続けており、新たな問題やアイデアが提案されるたびに研究者たちはそれらへの取り組みを優先する必要が生じます。その結果、特定の直感的証明が後回しにされる可能性もあるでしょう。