>>371
彼に示したい定理のステートメントを要求したら、>>264 が出てきたのにはほんとびっくりしたね