新妻弘のワンポイント部分集合の証明方法

A⊂Bを示したい
そのために

∀a(a∈A→a∈B)

を示す

そこで

b∈Aをとる

……(略)

b∈Bである

b∈Aは勝手に選んだので

∀a(a∈A→a∈B)

が示された

こんな奴の『群・環・体』は捨てろw