>>630
証明しませんよ
nを特定せずしかしそれは個別のnと認識して証明します
>>628
はぁ
>>629
これはどうかな
f:A→A:mono → epi