>>197
＞今求められてるのは3.12の証明ではないだろうか

いや、形式的には、3.12の証明は既にあるよ
求められているのは
１．3.12の証明が正しいことの証明ｗ（＾＾；
２．3.12の証明が正しいことの分り易い説明（＾＾