証明

杉原・室田 [2] を見よ。