0995日高垢版 | 大砲2019/11/29(金) 14:12:59.47ID:yqQadrDU 何度も書くが、Case BとCase Aは独立なので、 * Case Aで書いたことはCase Aの中でのみ有効。 * なのでCase B中でCase A中の式は使えない。(正確に言えば、使おうとするとCase Aのときの証明とは独立に定義・証明が必要) ということ。 理由を教えていただけないでしょうか。