>>662 ABC予想を解ける[数学的な工具]は大変便利だけど、誰もその工具の[マニュアル]書けないんじゃ、意味あるのかしらって思う。