完全解決証明は、専門家は読みたくないというだけでは?