定理が難しいってのはどういうこと?
どういう定理なの?