定理は正確って断言できるのに、その定理のステートメントが何なのか不明ってどういうことなの？
そんなことあり得るわけ？