数学の証明という理論がわからないです

[過去ﾛｸﾞ] 数学の証明という理論がわからないです (245ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

24(1): 2021/02/15(月)12:36 ID:iT3CrOuB(22/102) AAS
補題:
kを体とする。加法の単位元0、乗法の単位元1は一意的である。

26: 2021/02/15(月)12:41 ID:iT3CrOuB(24/102) AAS
>>24
証明:
0'∈kが>>5を満たすとすると

0' = 0' + 0 = 0。

1'が>>11-12を満たすとすると

1' = 1' 1 = 1。□