>>888
まあ結果的には、「焼入れ」と良く似ているような処理のようだ。
あの百科事典が、わかり難い解説だったと言えるのかも。（ｗ