>>833
それは証明の問題