分からない問題はここに書いてね 472

分からない問題はここに書いてね 472 (974ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

505(1): 482 [sage] 01/21(火)14:21 ID:V1QFmJb/(1)
Aは自明なので、とか、Bは自明により、
などと証明に記載があることがありますが、
勉強不足の自分には何が自明かよくわかりません
こういう書き方は証明では当たり前なのでしょうか