高橋嘉之★2【ゆげ塾師引退】【動き出した闇の勢力】 (1001)

776 - 一般カタルーニャ人 (sage) 2021/05/20(木) 20:19:53.54 ID:h6ToWBMY0

ヘンキンの定理の証明にリンデンバウムの補題って言うのが使われるらしい