>>211
g 既約から即>>198が証明されちゃうから、証明略はないんじゃない?