>>397
ここに定理がない以上ここで定義の確認をする意味はない
それとも君はA=A+1軍団の定義厨なのか?
だったら去ってくれ
ここは数学板であってコンピュータ科学を議論する場ではない