>>410
あと、>>333 にも書いたように、定理F から派生する定理 F1,F2,F3 について考えてみると、
「定理F3」を使っていると思しき pdf が1件だけだが見つかる。
このことからも、定理F, F1,F2,F3 は全て正しいと分かる。

別の言い方をすると、もし定理Fに難癖をつけるなら、
>>333で引用した pdf は一体どういうことになるのだね？
まさか「 >333 の pdf は間違っている」なんて言わないだろうな？