22/12/10 08:24:37.53 meH3MbbN.net
>>536
＞ζ_5が、最小拡大体に含まれないならば
＞ζ_5 not∈最小拡大体 だよね
ええ、トートロジーですから
＞（そしてそれが普通だが）
ええ、トートロジーですから
22/12/10 08:24:37.53 meH3MbbN.net
>>536
＞ζ_5が、最小拡大体に含まれないならば
＞ζ_5 not∈最小拡大体 だよね
ええ、トートロジーですから
＞（そしてそれが普通だが）
ええ、トートロジーですから
22/12/10 08:24:37.53 meH3MbbN.net
>>536
＞ζ_5が、最小拡大体に含まれないならば
＞ζ_5 not∈最小拡大体 だよね
ええ、トートロジーですから
＞（そしてそれが普通だが）
ええ、トートロジーですから