いちおう貼っとく
----------
988 名前：１３２人目の素数さん[sage] 投稿日：2019/11/29(金) 10:48:43.73 ID:JxAs7OyT [1/2]
あと>>134の指摘も致命的だよね

995 名前：日高[] 投稿日：2019/11/29(金) 14:12:59.47 ID:yqQadrDU [9/10]
何度も書くが、Case BとCase Aは独立なので、
* Case Aで書いたことはCase Aの中でのみ有効。
* なのでCase B中でCase A中の式は使えない。（正確に言えば、使おうとするとCase Aのときの証明とは独立に定義・証明が必要）
ということ。

理由を教えていただけないでしょうか。

996 名前：１３２人目の素数さん[sage] 投稿日：2019/11/29(金) 14:16:39.12 ID:JxAs7OyT [2/2]
>>995
すまん。俺は
「数学のルールだから」
としか言えない。