>>654
どうもありがとうございます。

>>655
私が見た限りでは、Hartshorneの英語版には載っていません。